Language interpretation - PDFSEARCH.IO - Document Search Engine

Language interpretation
Results: 5276

#	Item
131	NEW SERIES Translation, Interpreting and Social Justice in a Globalised World Series Editors: Philipp Angermeyer (York University) and Katrijn Maryns (Universiteit Gent) This international series welcomes authored monogr Add to Reading List Source URL: www.multilingual-matters.com Language: English - Date: 2015-10-01 11:37:25 Language interpretation Linguistics Translation Multilingualism Language
132	Impact of Legal Interpretation on Business Process Compliance Sepideh Ghanavati∗ and Joris Hulstijn† ∗ Luxembourg Institute of Science and Technology, Luxembourg, Add to Reading List Source URL: homepage.tudelft.nl Language: English - Date: 2015-03-01 13:58:25 Software requirements Financial accounting Auditing Accounting Computer file formats XBRL assurance XBRL Goal-oriented Requirements Language SIE Traceability Extended Enterprise Modeling Language Regulatory compliance
133	Managing Legal Interpretation in Regulatory Compliance Guido Boella Marijn Janssen Joris Hulstijn Add to Reading List Source URL: homepage.tudelft.nl Language: English - Date: 2013-04-17 06:55:25 Process management Business process management Semantics of Business Vocabulary and Business Rules Business process modeling Business process Norm Ontology Process modeling Regulatory compliance Artificial intelligence and law Enterprise risk management Business Process Execution Language
134	Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Programming language theory Abstract interpretation Symbolic execution Program analysis KeY Disassembler Pattern matching Forth Symbolic Concolic testing
135	T&I DESCRIPTIONS PREAMBLE To support clarity in understanding the role of Translators, Interpreters, Transcriber-Translators and Terminologists, our associations endorse the following definitions: TRANSLATOR “Translato Add to Reading List Source URL: www.najit.org Language: English - Date: 2016-03-08 08:39:16 Translation Linguistics Language Language interpretation Language industry American Translators Association Translator Association of Translators and Interpreters of Alberta Canadian Translators Terminologists and Interpreters Council
136	Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux† Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2011-01-14 08:37:02 Algebra Mathematics Software engineering Predicate logic Abstract interpretation Galois connection Galois theory Order theory Linear map Free variables and bound variables Loop invariant Flow chart language
137	The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS) Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:45:46 Theoretical computer science Logic in computer science Software engineering Formal methods Models of computation Parallel computing Programming language semantics Denotational semantics Abstract interpretation Semantics Astre
138	Prof_Tech Degree Worksheets 9-14 JLG.indd Add to Reading List Source URL: s.bellevuecollege.edu Language: English - Date: 2015-08-12 19:04:42 Communication Meaning Translation Language interpretation Computer-assisted translation Linguistics Language Academia
139	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP
140	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: folk.uib.no Language: English - Date: 2009-04-11 10:36:49 Logic Mathematical logic Abstraction Model theory Formal languages Logical truth Metalogic First-order logic Interpretation Substitution Well-formed formula Satisfiability

UPDATE